%--
\chapter{建模和模型}

%--
\begin{theorem}[\cite{Lamport78}] 消息传递模型的基本概念。

\end{theorem}

%--
\begin{theorem}[\cite{Mattern89}]

     逻辑时钟。

\end{theorem}

%--
\begin{theorem}[\cite{Lamport86a, Lamport86b}]

    基础建模。
    
    包括atomic/regular/safe register的概念等。

\end{theorem}

%--
\begin{theorem}[\cite{Misra86}]
    
    硬件访问的公理化建模。
    
\end{theorem}

%--
\begin{theorem}[\cite{Chandra96}]

    Failure detector的概念。

\end{theorem}
